Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền
1
Informatique et sciences du numérique - Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets

Informatique et sciences du numérique - Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets

Năm:
2012
Ngôn ngữ:
french
File:
PDF, 65.45 MB
0 / 0
french, 2012
2
Les Métamorphoses du calcul: Une étonnante histoire des mathématiques

Les Métamorphoses du calcul: Une étonnante histoire des mathématiques

Năm:
2007
Ngôn ngữ:
french
File:
PDF, 3.64 MB
0 / 0
french, 2007
3
The age of algorithms

The age of algorithms

Năm:
2020
Ngôn ngữ:
english
File:
PDF, 3.29 MB
0 / 5.0
english, 2020
5
Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Năm:
2010
Ngôn ngữ:
french
File:
DJVU, 1.50 MB
0 / 0
french, 2010
6
Le temps des algorithmes-

Le temps des algorithmes-

Năm:
2017
Ngôn ngữ:
french
File:
EPUB, 3.50 MB
0 / 0
french, 2017
7
Le temps des algorithmes

Le temps des algorithmes

Năm:
2017
Ngôn ngữ:
french
File:
PDF, 2.90 MB
0 / 0
french, 2017
8
Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age

Năm:
2015
Ngôn ngữ:
english
File:
PDF, 2.04 MB
0 / 0
english, 2015
9
Informatique et sciences du numérique - Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets

Informatique et sciences du numérique - Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets

Năm:
2012
Ngôn ngữ:
french
File:
DJVU, 8.47 MB
0 / 0
french, 2012
10
The Age of Algorithms

The Age of Algorithms

Ngôn ngữ:
english
File:
PDF, 2.01 MB
0 / 0
english
11
Voulez-vous jouer avec les maths

Voulez-vous jouer avec les maths

Năm:
2017
Ngôn ngữ:
french
File:
EPUB, 668 KB
0 / 0
french, 2017
12
Le temps des algorithmes

Le temps des algorithmes

Năm:
2017
Ngôn ngữ:
french
File:
EPUB, 895 KB
0 / 0
french, 2017
13
Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age

Năm:
2015
Ngôn ngữ:
english
File:
EPUB, 1.03 MB
0 / 0
english, 2015
14
Les démonstrations et les algorithmes

Les démonstrations et les algorithmes

Năm:
2010
File:
PDF, 20.29 MB
0 / 0
2010
15
Voulez-vous jouer avec les maths ?

Voulez-vous jouer avec les maths ?

Năm:
2017
Ngôn ngữ:
french
File:
EPUB, 1.43 MB
0 / 0
french, 2017
16
Complexité-Simplexité - PDFDrive.com

Complexité-Simplexité - PDFDrive.com

Năm:
2014
Ngôn ngữ:
french
File:
PDF, 7.09 MB
0 / 0
french, 2014
17
La Lógica

La Lógica

Năm:
2001
Ngôn ngữ:
spanish
File:
PDF, 2.36 MB
0 / 5.0
spanish, 2001
18
Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age

Năm:
2015
Ngôn ngữ:
english
File:
PDF, 1.44 MB
0 / 5.0
english, 2015
19
Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Năm:
2000
Ngôn ngữ:
english
File:
PDF, 2.75 MB
0 / 0
english, 2000
22
Informatique et sciences du numérique

Informatique et sciences du numérique

Năm:
2012
Ngôn ngữ:
french
File:
PDF, 106.18 MB
0 / 0
french, 2012
27
Principles of programming languages

Principles of programming languages

Năm:
2009
Ngôn ngữ:
english
File:
PDF, 1.95 MB
0 / 0
english, 2009
28
Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Năm:
2011
Ngôn ngữ:
english
File:
PDF, 907 KB
0 / 0
english, 2011
29
Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability

Năm:
2011
Ngôn ngữ:
english
File:
PDF, 954 KB
0 / 5.0
english, 2011
30
Principles of programming languages

Principles of programming languages

Năm:
2016
Ngôn ngữ:
english
File:
PDF, 2.54 MB
0 / 0
english, 2016
31
Principles of Programming Languages

Principles of Programming Languages

Năm:
2009
Ngôn ngữ:
english
File:
PDF, 9.72 MB
0 / 0
english, 2009
32
Introduction to the theory of programming languages

Introduction to the theory of programming languages

Năm:
2011
Ngôn ngữ:
english
File:
PDF, 1.08 MB
0 / 0
english, 2011
33
Proofs and algorithms: introduction to logic and computability theory

Proofs and algorithms: introduction to logic and computability theory

Năm:
2011
Ngôn ngữ:
english
File:
PDF, 6.77 MB
0 / 0
english, 2011
34
Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability

Năm:
2011
Ngôn ngữ:
english
File:
PDF, 6.77 MB
0 / 0
english, 2011
35
Proofs and algorithms: An introduction to logic and computability

Proofs and algorithms: An introduction to logic and computability

Năm:
2011
Ngôn ngữ:
english
File:
PDF, 944 KB
0 / 0
english, 2011
36
Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Năm:
2011
Ngôn ngữ:
english
File:
PDF, 1.05 MB
0 / 0
english, 2011
37
Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability

Năm:
2011
Ngôn ngữ:
english
File:
PDF, 1.61 MB
0 / 0
english, 2011
38
Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Năm:
2011
Ngôn ngữ:
english
File:
DJVU, 798 KB
0 / 0
english, 2011
40
Introduction to the Theory of Programming Languages [recurso electrónico]

Introduction to the Theory of Programming Languages [recurso electrónico]

Năm:
2011
Ngôn ngữ:
english
File:
EPUB, 747 KB
0 / 0
english, 2011